Experimental Repository for "FOLASP: FO(.) as Input Language for Answer Set Solvers"

Experimental repository for the paper "FOLASP: FO(.) as Input Language for Answer Set Solvers". It consists of three parts: - folasp_experiments.tar.gz: a docker image containing the necessary software configuration (an Ubuntu OS with Clingo, IDP and FOLASP loaded). - dockervolume.tar.gz: a directory containing the instances and configuration files for the experiment, meant to be writable by the loaded docker image. - results.zip: a directory contaning detailed experimental results in comma-separate value format. To run the experiments, have a system available with docker installed. 1) extract dockervolume.tar.gz to some directory DIR, e.g., using the command $ tar -xf dockervolume.tar.gz 2) load the docker image, e.g., $ docker load -i folasp_experiments.tar.gz 3) run the experiments in a docker container with the dockervolume mounted, e.g., $ docker run -it --mount type=bind,source=/dockervolume,target=/home/test/volume folasp_experiments To adjust the experimental parameters (e.g., time and memory limits or number of threads used), adjust the file /dockervolume/experiments/config.benchie